Boolean algebras over partially ordered sets
نویسنده
چکیده
Being the crossroads between Algebra, Topology, Logic, Set Theory and the Theory of Order; the class of Boolean algebras over partially ordered sets were look at as one of the sources, providing over time, new insights in Boolean algebras. Some constructions and their interconnections will be discussed, motivating along the way a list of open problems. Mathematics Subject Classification (MSC 2000): Primary: 03G, 06E. Secondary: 06A12, 03G10
منابع مشابه
Boolean Subalgebras of Orthoalgebras
We reconstruct orthoalgebras from their partially ordered set of Boolean subalgebras, and characterize partially ordered sets of this form, using a new notion of a direction. For Boolean algebras, this reconstruction is functorial, and nearly an equivalence.
متن کاملImaginaries in Boolean algebras
Given an infinite Boolean algebra B, we find a natural class of ∅-definable equivalence relations EB such that every imaginary element from B is interdefinable with an element from a sort determined by some equivalence relation from EB . It follows that B together with the family of sorts determined by EB admits elimination of imaginaries in a suitable multisorted language. The paper generalize...
متن کاملPartially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras
In this paper we will show that partially ordered monads contain sufficient structure for modelling monadic topologies, rough sets and Kleene algebras. Convergence represented by extension structures over partially ordered monads includes notions of regularity and compactness. A compactification theory can be developed. Rough sets [23] are modelled in a generalized setting with set functors. Fu...
متن کاملVariations on Martin’s Axiom and Omitting Types from Algebraic Logic, Lattice Theory and Topology
Several statements in algebraic Logic, lattice theory and topology, that are closely related to Martin’s axiom and the Baire Category Theorem are formulated. Provability and independence in ZFC of such statements are investigated. We formulate several statements, adressing partially ordered sets, distributive lattices, boolean algebras, algebras studied in algebraic Logic (like cylindric algebr...
متن کاملTripled partially ordered sets
In this paper, we introduce tripled partially ordered sets and monotone functions on tripled partiallyordered sets. Some basic properties on these new dened sets are studied and some examples forclarifying are given.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010